Qualitative modelling via constraint programming

Qualitative Modelling via Constraint Programming: Past, Present and Future

Qualitative modelling is a technique integrating the fields of theoretical computer science, artificial intelligence and the physical and biological sciences. The aim is to be able to model the behaviour of systems without estimating parameter values and fixing the exact quantitative dynamics. Traditional applications are the study of the dynamics of physical and biological systems at a higher ...

Modelling for Constraint Programming

Constraint programming can be a successful technology for solving practical problems; however, there is abundant evidence that how the problem to be solved is modelled as a Constraint Satisfaction Problem (CSP) can have a dramatic effect on how easy it is to find a solution, or indeed whether it can realistically be solved at all. The importance of modelling in constraint programming has long b...

Configuration management via constraint programming

1 Abstract As the complexity of computer systems has increased, the task of managing those systems has grown to the point where the assistance of the computer itself is required. The diversity of management tasks has, in turn, lead to a diversity of software. In Unix, for example, make(1), rcs(1) and cron(8) each address this issue. Distributed systems expand the realm of connguration managemen...

Connguration Management via Constraint Programming

Constraint logic programming for qualitative and quantitative constraint satisfaction problems

AI and OR approaches have complementary strengths: AI in domain-specific knowledge representation and OR in efficient mathemat:ical computation. Constraint Logic Programming (CLP), which combines these complementary strengths of the AI and OR approach, is introduced as a new tool to formalize a special class of constraint satisfaction problems that include both qualitative and quantitative cons...